BASEL (Buffering Architecture SpEcification Language)

نویسندگان

  • Kirill Kogan
  • Danushka Menikkumbura
  • Gustavo Petri
  • Youngtae Noh
  • Sergey I. Nikolenko
  • Patrick Th. Eugster
چکیده

Buffering architectures and policies for their efficient management constitute one of the core ingredients of a network architecture. In this work we introduce a new specification language, BASEL, that allows to express virtual buffering architectures and management policies representing a variety of economic models. BASEL does not require the user to implement policies in a high-level language; rather, the entire buffering architecture and its policy are reduced to several comparators and simple functions. We show examples of buffering architectures in BASEL and demonstrate empirically the impact of various settings on performance.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Architecture Description Languages

Modeling plays a central role in design automation of embedded processors. It is necessary to develop a specification language that can model complex processors at a higher level of abstraction and enable automatic analysis and generation of efficient tools and prototypes. The language should be powerful enough to capture high-level description of the processor architectures. On the other hand,...

متن کامل

Transforming Goal Oriented Requirement Specifications into Architecture Prescriptions

In this paper we propose a new method to transform the requirements specification for a software system into an architectural specification for the system. In the introduction we illustrate the needs for this new method in the context of the software development process and we explain the concept of architecture prescription. Then, we give a brief overview of KAOS, the goal oriented requirement...

متن کامل

Template-Based Specification in LOTOS

The notion of a skeletal specification is introduced as a step in the incremental development of a specification. This leads to the idea of a template specification as a means of capturing specification architecture in a library of reusable specification components. The approach is illustrated by considering the architecture of service specifications in LOTOS. A library of macros written in the...

متن کامل

Towards a Software Architecture Specification Language based on UML and OCL

The development of a system’s software architecture is a very complex and important issue. Existing description and modeling techniques do not fit the requirements of architecture centric system development. In this paper we are proposing the basic concepts and notions of software architectures. Furthermore, we provide a proposal for a new description and modeling technique for software archite...

متن کامل

Enhancing CIMOSA with Exception Handling

CIMOSA (Open System Architecture for CIM) [2], an architecture for the modelling of manufacturing applications, does not provide a facility for exception definition and handling. Exceptions, traditionally associated to programming language and operating systems, are necessary in all types of languages, including specification languages. Our contribution consists of the enhancement of the CIMOSA...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1510.04235  شماره 

صفحات  -

تاریخ انتشار 2015